<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html><head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>VOLT 2013 @ ICST</title>
<meta name="keywords" content="model transformation, verification, model-driven engineering, MDE, validation, automatic test generation, UML, model-based testing, model transformation testing"/>
<link rel="shortcut icon" href="favicon.gif" type="image/x-icon">
<link rel="icon" href="favicon.gif" type="image/x-icon">
<link href="data/volt.css" rel="stylesheet" media="screen">
<script language="JavaScript">
<!--
if (parent != self)
   parent.location = 'index.html';
  -->
</script>

<script type="text/javascript">

  var _gaq = _gaq || [];
  _gaq.push(['_setAccount', 'UA-3117335-10']);
  _gaq.push(['_gat._anonymizeIp']);
  _gaq.push(['_trackPageview']);

  (function() {
    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
  })();

</script>

</head>
<body>
<div align="center">
  <table class="boundary" cellpadding="0" border="0" width="750">
    <!-- Banner -->
    <tbody><tr>
      <td colspan="2">
        <img src="data/volt13banner.png" alt="VOLT 2013" width="100%">
      </td>
    </tr>

    <!-- Content -->
    <tr>
      <!-- Menu -->
      <td class="topAligned" width="23%">
        <p class="sideMenu"><a class="ClassA" href="index.html">Home</a></p>
        <p class="sideMenu"><a class="ClassA" href="program.html">Program</a></p>
        <p class="sideMenu"><a class="ClassA" href="calls.html">Call For Papers</a></p>
        <p class="sideMenu"><a class="ClassA" href="submission.html">Submission</a></p>
        <p class="sideMenu"><a class="ClassA" href="organizers.html">Committees</a></p>
        <p class="sideMenu"><a class="ClassA" href="importantDates.html">Important Dates</a></p>
        <p class="sideMenu"><a class="ClassA" href="http://www.model-based-testing.de/volt12/">Previous Edition</a></p>
        <p class="sideMenu"><a class="ClassA" href="http://www.icst.lu">ICST 2013</a></p>
        <p class="sideMenu"><a class="ClassA" href="contacts.html">Contacts</a></p>

        <p class="contents">
        <hr/>
        <h2>News</h2>
        <center>
	   -- 22.01.2013 --<br/>
        <font color ="red">Workshop cancelled </font> due to low submission rate<br/>
        </center>
        </p>
      </td>


      <!-- Body content -->
      <td class="contents" width="77%">
          <h1>Welcome!</h1>
          <h2>
            VOLT 2013<br>
            Verification Of modeL Transformation<br>
            <i>Luxemburg</i><br>
         </h2>

         <hr/>


<p>
Model transformations are everywhere in software development, implicitly or 
explicitly. They became first-class citizens with the advent of MDD. Despite 
some recent activity in the field, the work on the verification of model 
transformations remains scattered and a clear perspective on the subject is 
still not in sight. Furthermore, current model transformation tools lack 
verification techniques to support such activities. 
</p>

<p>
The Second International Workshop on the Verification Of modeL Transformation 
(VOLT 2013) is one of the most accurate venues to offer researchers a dedicated 
forum to classify, discuss, propose, and advance verification techniques 
dedicated to model transformations.
</p>

<p> 
VOLT 2013 promotes discussions between theoreticians and practitioners from 
academy and industry, given its ideal co-location with <a 
href="http://www.icst.lu/">ICST</a>. A significant part of the workshop includes 
a forum for discussing practical applications of model transformations and 
related problems. One of the goals of the forum is to collect enough industrial 
case studies so that those problems can be stated at a theoretical level. In 
order to discuss these and further similar questions, we would like to invite 
submissions related to the following topics: 
<p>

<ul>
<li> Application of formal verification, theorem proving,
model checking or testing to model transformation </li>
<li> Verification techniques dedicated to model transformation</li>
<li> Taxonomies of techniques for model transformation verification </li>
<li> Properties relevant to specific model transformations </li>
<li> Verification of model transformations expressed in languages
such as: ATL, QVT, TGG, VIATRA, Kermeta,
Epsilon, etc. </li>
<li> Verification of domain-specific model transformations, in contrast to general-purpose transformations </li>
<li> Case studies and experience reports </li>
<li> Tools and automation </li>
</ul>

<h1>Organizers</h1>
<ul>
<li><a href="http://wwwen.uni.lu/research/fstc/laboratory_of_advanced_software_systems_lassy/members/moussa_amrani">Moussa Amrani</a>, University of Luxembourg, Luxembourg</li>
<li><a href="http://www.hpi.uni-potsdam.de/giese/personen/dr_leen_lambers.html">Leen Lambers</a>, Hasso Plattner Institut, Germany</li>
<li><a href="http://cs.ua.edu/~syriani/">Eugene Syriani</a>, University of Alabama, USA</li>
</ul>

<h1>Photo Credit</h1>
<center>Andr&eacute; Karwath published the picture on the VOLT banner at <a href="http://de.wikipedia.org/w/index.php?title=Datei:Lightning_cloud_to_cloud_%28aka%29.jpg&filetimestamp=20050703095218">wikipedia</a>. The picture is published using the creative commons <a href="http://creativecommons.org/licenses/by-sa/2.5/deed.de">BY-SA 2.5</a>.
</center>
<hr/>  
</td>
</tr>



    </tbody>
    </table>
    </div>
  </body>
</html>